An Introduction to Substructural Logics
نویسنده
چکیده
“Restall has written a masterful book that is well motivated by persuasive examples, a book that is marvellously lucid, and chock full of a distinctive combination of conceptual insight, good taste and mathematical elegance. This book is a perfect authoritative introduction to a burgeoning topic, eminently suitable to graduate students. Everything is explained from the ground up in a style that makes difficult mathematical ideas readily accessible. It is the first book in a long time that has made me want to teach from it straight away.” Nuel Belnap, University of Pittsburgh
منابع مشابه
Substructural Logics and Residuated Lattices — an Introduction
This is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them. Then, residuated lattices are introduced as algebraic structures for substructural logics, and some recent developments of their algebraic study are ...
متن کاملA Canonical Model Construction for Substructural Logics
In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripkestyle semantics (Kripke frames and models) for normal substructural logics. Then we show a correspondence between axioms and properties on frames, and...
متن کاملModalities in Substructural Logics
This paper generalises Girard's results which embed intuitionistic logic into linear logic by showing how arbitrary substructural logics can be embedded into weaker substructural logics, using a single modality whichèncodes' the new structural rules. Logics 1 1. Logics Logic is about valid deduction. One central result in logic is the deduction theorem. A; ` B if and only if`A ! B This result t...
متن کاملModels for Substructural Arithmetics
This paper explores models for arithmetics in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C (linear logic plus distribution), R (relevant logic) and CK (C plus weakening). The eventual goal is to find ...
متن کاملFuzzy Logics and Sub-structural Logics without Exchange
This report treats the relation between substructural logics and fuzzy logics, especially focuses on the noncommutativity of conjunctive operators i.e. substructural logics without the exchange rule. As the results, the authors show that fuzzy logics based on the left continuous pseudo-t-norms are the extensions of FLw. Also, we introduce the definition of pseudouninorms and give some methods t...
متن کاملPractical Programming with Substructural Types
Substructural logics remove from classical logic rules for reordering, duplication, or dropping of assumptions. Because propositions in such a logic may no longer be freely copied or ignored, this suggests understanding propositions in substructural logics as representing resources rather than truth. For the programming language designer, substructural logics thus provide a framework for consid...
متن کامل